Characterizing strong randomness via Martin-Löf randomness
نویسنده
چکیده
We introduce two methods to characterize strong randomness notions via Martin-Löf randomness. By applying these methods, we investigate ∅′-Schnorr randomness.
منابع مشابه
Complexity of Randomness Notions
Schnorr famously proved that Martin-Löf-randomness of a sequence A can be characterised via the complexity of A’s initial segments. Nies, Stephan and Terwijn as well as independently Miller showed that Kolmogorov randomness coincides with Martin-Löf randomness relative to the halting problem K; that is, a set A is Martin-Löf random relative to K iff there is no function f such that for all m an...
متن کاملInitial Segment Complexities of Randomness Notions
Schnorr famously proved that Martin-Löf-randomness of a sequence A can be characterised via the complexity of A’s initial segments. Nies, Stephan and Terwijn as well as independently Miller showed that Kolmogorov randomness coincides with Martin-Löf randomness relative to the halting problem K; that is, a set A is Martin-Löf random relative to K iff there is no function f such that for all m an...
متن کاملRandomness notions and partial relativization
We study weak 2 randomness, weak randomness relative to ∅′ and Schnorr randomness relative to ∅′. One major theme is characterizing the oracles A such that ML[A] ⊆ C, where C is a randomness notion and ML[A] denotes the Martin-Löf random reals relative to A. We discuss the connections with LR-reducibility and also study the reducibility associated with weak 2randomness.
متن کاملLogic Blog
1. Jan 2010: a downward GL1 set that is not weakly jump traceable 2 1.1. Original result 2 1.2. New results 2 1.3. Comments 2 2. March 2010: Structures that are computable almost surely 2 2.1. A structure that is computable almost surely, is computable in every Π1 random 2 2.2. Related questions 3 3. May 2010 : Cooper’s jump inversion and weak jump traceability 3 4. May 2010: The collection of ...
متن کاملReconciling Data Compression and Kolmogorov Complexity
While data compression and Kolmogorov complexity are both about effective coding of words, the two settings differ in the following respect. A compression algorithm or compressor, for short, has to map a word to a unique code for this word in one shot, whereas with the standard notions of Kolmogorov complexity a word has many different codes and the minimum code for a given word cannot be found...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 163 شماره
صفحات -
تاریخ انتشار 2012